Swift, Terrance: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Query-Driven Procedures for Hybrid MKNF Knowledge Bases

Alferes, José Júlio, Knorr, Matthias, Swift, Terrance

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 496 KB

english, 2013

2

Efficient top-down computation of queries under the well-founded semantics

Weidong Chen, Terrance Swift, David S. Warren

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.87 MB

english, 1995

3

An abstract machine for efficiently computing queries to well-founded models

Konstantinos Sagonas, Terrance Swift, David S. Warren

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 790 KB

english, 2000

4

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 5418 ||

Gill, Andy, Swift, Terrance

Year:

2009

Language:

english

File:

PDF, 4.68 MB

english, 2009

5

XSB: Extending Prolog with Tabled Logic Programming

SWIFT, TERRANCE, WARREN, DAVID S.

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 709 KB

english, 2012

6

Editorial: 29th International conference on logic programming special issue – ADDENDUM

LAMMA, EVELINA, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 35 KB

english, 2018

7

A goal-directed implementation of query answering for hybrid MKNF knowledge bases

GOMES, ANA SOFIA, ALFERES, JOSÉ JÚLIO, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 321 KB

english, 2014

8

The limits of fixed-order computation

Konstantinos Sagonas, Terrance Swift, David S. Warren

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 247 KB

english, 2001

9

Efficient access mechanisms for tabled logic programs

I.V Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S Warren

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 2.19 MB

english, 1999

10

Preference Logic Grammars: Fixed point semantics and application to data standardization

Baoqiu Cui, Terrance Swift

Journal:

Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 215 KB

english, 2002

11

Tabling for non‐monotonic programming

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 340 KB

english, 1999

12

[ACM Press the 1994 ACM SIGMOD international conference - Minneapolis, Minnesota, United States (1994.05.24-1994.05.27)] Proceedings of the 1994 ACM SIGMOD international conference on Management of data - SIGMOD '94 - XSB as a deductive database

Sagonas, Konstantinos, Swift, Terrance, Warren, David S.

Year:

1994

Language:

english

File:

PDF, 85 KB

english, 1994

13

XSB as an efficient deductive database engine

Sagonas, Konstantinos, Swift, Terrance, Warren, David S.

Journal:

ACM SIGMOD Record

Year:

1994

Language:

english

File:

PDF, 1.18 MB

english, 1994

14

Terminating Evaluation of Logic Programs with Finite Three-Valued Models

Riguzzi, Fabrizio, Swift, Terrance

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 666 KB

english, 2014

15

Principles, practice, and applications of tabled logic programming

Swift, Terrance

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 237 KB

english, 2000

16

An abstract machine for tabled execution of fixed-order stratified logic programs

Sagonas, Konstantinos, Swift, Terrance

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 588 KB

english, 1998

17

[ACM Press the 1994 ACM SIGMOD international conference - Minneapolis, Minnesota, United States (1994.05.24-1994.05.27)] Proceedings of the 1994 ACM SIGMOD international conference on Management of data - SIGMOD '94 - XSB as an efficient deductive database engine

Sagonas, Konstantinos, Swift, Terrance, Warren, David S.

Year:

1994

Language:

english

File:

PDF, 1.18 MB

english, 1994

18

Editorial: 29th International Conference on Logic Programming special issue

LAMMA, EVELINA, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 62 KB

english, 2013

19

The PITA system: Tabling and answer subsumption for reasoning under uncertainty

RIGUZZI, FABRIZIO, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 266 KB

english, 2011

20

Abduction in well-founded semantics and generalized stable models via tabled dual programs

ALFERES, JOS JLIO, PEREIRA, LUS MONIZ, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2004

Language:

english

File:

PDF, 342 KB

english, 2004

21

Splitting and updating hybrid knowledge bases

SLOTA, MARTIN, LEITE, JOÃO, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 182 KB

english, 2011

22

Incremental Tabling in Support of Knowledge Representation and Reasoning

SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 1.03 MB

english, 2014

23

Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics

RIGUZZI, FABRIZIO, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 454 KB

english, 2013

24

XSB as a deductive database

Sagonas, Konstantinos, Swift, Terrance, Warren, David S.

Journal:

ACM SIGMOD Record

Year:

1994

Language:

english

File:

PDF, 85 KB

english, 1994

25

[IEEE 2019 IEEE International Symposium on Phased Array System & Technology (PAST) - Waltham, MA, USA (2019.10.15-2019.10.18)] 2019 IEEE International Symposium on Phased Array System & Technology (PAST) - Cross-Linked Small-Sat Communication System using a Spherical Phased Array Line Feed

Kloosterman, Jenna L., Walker, Athan J., Swift, Brandon J., Pat, Terrance, Lopez-Tonazzi, Juan Carlos, Walker, Christopher K.

Year:

2019

File:

PDF, 8.72 MB

2019